d53970bdfea662bb3060d90bc56968e33606db57,de.prob2.kernel/src/main/java/de/prob/animator/AnimatorImpl.java,AnimatorImpl,getErrors,#,91

Before Change


	}

	private synchronized List<String> getErrors() {
		List<String> errors = Collections.emptyList();
		IPrologResult errorresult = processor.sendCommand(getErrors);
		if (errorresult instanceof YesResult) {
			getErrors.processResult(((YesResult) errorresult).getBindings());
			errors = getErrors.getErrors();
			if (!errors.isEmpty()) {
				String msg = Joiner.on('\n').join(errors);
				logger.error("ProB raised exception(s):\n", msg);
				return errors;
			}
		} else if (errorresult instanceof NoResult
				|| errorresult instanceof InterruptedResult) {
			throw new ProBError("Get errors must be successful");
		} else {
			throw new ProBError("Unknown result type");
		}
		return errors;
	}

	@Override

After Change


			getErrors.processResult(((YesResult) errorresult).getBindings());
			List<String> errors = getErrors.getErrors();
			if (errors.isEmpty())
				return Collections.emptyList();
			else {
				String msg = Joiner.on('\n').join(errors);
				logger.error("ProB raised exception(s):\n", msg);